Complete reducibility and Steinberg endomorphisms
نویسندگان
چکیده
منابع مشابه
Complete Reducibility and Separability
Let G be a reductive linear algebraic group over an algebraically closed field of characteristic p > 0. A subgroup of G is said to be separable in G if its global and infinitesimal centralizers have the same dimension. We study the interaction between the notion of separability and Serre’s concept of Gcomplete reducibility for subgroups of G. A separability hypothesis appears in many general th...
متن کاملComplete reducibility candidates
Deduction modulo is an extension of first-order predicate logic where axioms are replaced by a congruence relation on propositions and where many theories, such as arithmetic, simple type theory and some variants of set theory, can be expressed. An important question in deduction modulo is to find a condition of the theories that have the strong normalization property. Dowek and Werner have giv...
متن کاملComplete Reducibility of Pseudovarieties
The notion of reducibility for a pseudovariety has been introduced as an abstract property which may be used to prove decidability results for various pseudovariety constructions. This paper is a survey of recent results establishing this and the stronger property of complete reducibility for specific pseudovarieties.
متن کاملGround Reducibility is EXPTIME-Complete
We prove that ground reducibility is EXPTIME-complete in the general case. EXPTIME-hardness is proved by encoding the computations of an alternating Turing machine whose space is polynomially bounded. It is more difficult to show that ground reducibility belongs to DEXPTIME. We associate first an automaton with disequality constraints AR;t to a rewrite system R and a term t. This automaton is d...
متن کاملG-complete Reducibility and Semisimple Modules
Let G be a connected reductive algebraic group defined over an algebraically closed field of characteristic p > 0. Our first aim in this note is to give concise and uniform proofs for two fundamental and deep results in the context of Serre’s notion of G-complete reducibility, at the cost of less favourable bounds. Here are some special cases of these results: Suppose that the index (H : H◦) is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Comptes Rendus Mathematique
سال: 2011
ISSN: 1631-073X
DOI: 10.1016/j.crma.2011.02.008